existential quantifier

1. Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.
   任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。
2. This paper dissected the necessity for introduction of the Existential Quantifier into Mathematical Logic, which is only a technical improvement, but not a real solution to the natural problem in mathematics foundations of the Russell Paradox.
   浅析了数理逻辑中存在性不能作为谓词的原因、背景，阐明存在量词引入的合理性和必要性，指出存在量词的引入是技术上的改进，并未真正解决数学基础存在的固有问题-罗素悖论。
3. In this paper, we wish to explicate the scope properties of the cardinality wh-phrases and propose a decomposition analysis with which any of such phrases can be decomposed into a cardinality wh-operator and an existential group quantifier.
   本文试图说明数量疑问短语的辖域特征并提出解构分析法将此类短语分解为数量疑问算子与存在集体量词。
4. The Necessity for Introduction of the Existential Quantifier into Mathematical Logic
   数理逻辑中存在量词引入的必要性

noun

1. a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true

   Synonym:    existential operator